Une spécification est désormais un prédicat