Analyse logique de la langue mathématique dans une perspective didactique