Calculs exhaustifs sur les posets d'au plus 7 éléments
N. Lygeros