… c'eût été préférable.