personne ne semble l'avoir relevé jusqu'ici (normal, tout le monde était en vacances), mais l'exercice 4 du sujet du bac ES juin 2011 est basé sur une séance Xcas. Certes l'énoncé ne dit que ceci:
Mais on voit bien quel est le logiciel en questionCoraline utilise un logiciel de calcul formel.
Le sujet est lisible ici: http://www.apmep.asso.fr/IMG/pdf/Metrop ... 2011-2.pdf
L'idée est originale: L'élève doit vérifier les réponses données par Xcas en mettant en jeu ses compétences en algèbre. Ainsi l'élève possédant une calculatrice avec un CAS n'est a priori pas avantagé par rapport aux autres.
Pour créer des sujets analogues en contrôle, outre l'export LaTeX de Xcas, on peut faire une séance de giac sous TexMacs...