Localisation de fonctionnalités dans du code avionique by Maxime Ouellet