Quelques apports de l'analyse logique du langage pour les recherches en didactique des mathématiques