"3"^^ . . . . . . . "forme de Skolem"@fr . .