Exploration des conditions limites théoriques dans l'analyse des algorithmes