obdd dans un fichier séparé, global avancé