Les pilotes d'Air France travaillent-ils 100 heures de moins que ceux de Lufthansa ?