deux formes de la table de la spécification