. . "3"^^ . . . . . . "raisonnement symbolique"@fr .