"3"^^ . . . . . . "forme normale conjonctive"@fr . . .