Chronicle of Michel David: the user manual