Experimenting and proof in mathematics with Xcas Thématiques Article de revue Edition et diffusion Gandit M., Parisse B. Ninth International Conference on Technology in Mathematics Teaching, université de Metz.