Strong Iterative Pairs and The Regularity of Context-Free Languages

On montre que si K est un langage algebrique dont toute paire iterante forte est degeneree, alors K est un langage rationnel. Ce resultat generalise un resultat analogue prouve par Boasson pour les paires iterantes