le de la spécification k à 12