En fait non, une spécification n'est définitvement pas un prédicat mais y ressemble fortement :)