On déjeune à midi.