Précieux Giraudoux.