La difficulte a l’egard de notre specification c’est qu’elle debride automatiquement