Aventures de Jérôme Bardini : roman by Jean Giraudoux