Thesis : Analyses statiques de ressources pour langages de haut niveau