Outil d’analyse et de génération sous contraintes, pas de prédiction.