Ce cours a été donné en juin 2009 et juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France. Il est composé d'une heure de cours et d'une demi-heure de questions-réponses sur le cours.