This script must be run from the toplevel directory (the one containing configure). This script saves time compared to re-running configure completely. ###>Ce script doit être exécuté depuis le dossier racine (celui contenant le configure). Il permet de gagner du temps par rapport à une réexécution complète du configure.