"notation de Backus-Naur"@fr . . "3"^^ . . . . . . .