jean giraudoux Quotes