"idéal d'une algèbre de Boole"@fr . "3"^^ . . . . . . . .