Modification de la spécification