Dans cet article, nous présentons une technique d'inférence de conditions de non-termination de programmes logiques. Notre travail repose sur une extension du "Lifting Theo-rem", où des positions d'arguments spécifiques peuvent être instanciées alors que les autres sont généralisées. Des requêtes atomiques qui bouclent à gauche sont alors générées de façon ascendante à partir de sous-ensembles des dépliages binaires du programme traité. L'inférence de non-terminaison est alors utilisée pour tester l'optimalité de conditions de termi-naison gauche générées par un outil d'inférence de terminaison. Pour chaque classe de requêtes atomiques non couverte par une condition de terminaison, nous tentons d'assurer l'existence d'une requête de cette classe qui mène à un arbre de recherche infini. Quand les analyses de terminaison et de non-terminaison produisent des résultats complémentaires pour une procédure logique, on obtient une caractérisation du comportement opérationnel de la procédure par rapport à la règle de sélection gauche et au langage utilisé pour décrire les ensembles de requêtes atomiques.