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