"3"^^ . . . . . . . . "forme clausale en logique de prédicats"@fr .