Text this: Precious irony. The theatre of Jean Giraudoux