. "réduit à la portion congrue"@fr . . "3"^^ . . . . . .