Rapport de l'atelier 6 de l'université de printemps organisée le 9-10-11 avril 2018, portant sur l'usage pédagogique de rubis