Books by Laboratoire informatique théorique et programmation (France). Spring School