Clarification outils nécessaires à la compilation des sources.
Authored by: vincentb1 2016-08-16
Parent: [r2022]
Child: [r2024]
