| Nous présentons l'environnement LIMITES qui a été conçu à partir du système de calcul formel MuPad. Cet environnement offre aux élèves la possibilité d'aborder l'étude du concept de limite qui est un concept important de l'analyse au lycée. Il permet de considérer les expressions en conjonction avec leur domaine de validité, caractéristique qui différencie l'analyse de l'algèbre. LIMITES permet d'appliquer les preuves sur le calcul des limites au lycée et de réécrire les expressions. Des conjectures sont possibles, au moyen d'outils graphique et numérique. Nous présentons un exemple de protocole élève qui illustre l'intérêt d'un tel environnement. L'existence du système de calcul formel a grandement facilité l'implantation, au sein de l'environnement, de ce concept de l'analyse dont les connaissances, à la différence de l'algèbre, ne sont pas toujours de nature algorithmique. |
