Text this: Intégration d'une contrainte logique dans les problèmes de contrôle optimal et résolution par la programmation mixte