Méthodes de preuve théorique pour l'analyse des algorithmes