dans la spécification