Describir: Generation et traitement de contraintes relationnelles pour la modelisation des acides nucleiques