Oublie d'une spécification