Title: La spécification de Hendry