missionnairesTemplate.py
planificateurTemplate.py
Operateur.
aPourPrecondition
Retourne si la proposition passee en parametre est une precondition