Structures ordonnees et algebres de Boole - Fauré, Robert (Collection programmation)