Informatique embarquée de l'avionique