Author: Laboratoire informatique théorique et programmation. Spring School