Une procédure heuristique pour le partitionnement et la cartographie de graphes de logique informatique | Synapse