Habilitation à Diriger des Recherches

Conditions d'équivalence:

1. pas de définition manquante
2. pas de règle manquante
3. déterminisme
4. pas de contrainte
5. pas de lien
6. pas de règle dynamique