Recueil et intégration d'heuristiques dans les algorithmes de définition de stratégies de pompage. - Pierre Lannuzel (1990)