Structures ordonnées et algèbres de Boole — Robert Faure, Édith Heurgon