Il 10 ottobre è la giornata internazionale della salute mentale, un aspetto di estrema importanza per i piloti