La formule de trace est un outil privilégié pour l'étude du problème spectral inverse puisqu'elle établit, sur une variété riemannienne compacte, une relation entre le spectre du laplacien et les longueurs des géodésiques périodiques. Cette thèse étend ce type de formule dans deux situations présentant des singularités ponctuelles. Dans ces deux cas, on commence par étudier l'équation des ondes et par établir la propagation des singularités associée. Sur une variété $M$ de dimension $3$, on place un potentiel Dirac en un point $p$. Cela revient à considérer une extension autoadjointe du laplacien, défini sur ${\cal C}^\infty( M\backslash \{p\} )$, différente du laplacien riemannien de $M.$ Le propagateur de l'équation des ondes associée est construit en faisant apparaître des diffractions successives au point $p$, ce qui donne alors la propagation des singularités. La formule de trace en découle~; on montre notamment que les courbes obtenues en suivant successivement un ou plusieurs lacets géodésiques joignant $p$ à $p$ donnent une contribution dont on calcule la partie principale. Sur une surface euclidienne à singularités coniques, il faut commencer par étendre la notion de géodésique en admettant le passage par les points coniques. Au voisinage d'une géodésique $g$, la géométrie locale de l'ensemble des géodésiques (éventuellement) diffractives dépend d'un nombre (appelé {\it complexité classique\/}) que l'on relie à la suite des angles de diffractions le long de $g.$ On montre alors que la propagation des singularités se fait en suivant ces géodésiques généralisées. La trace fait alors apparaître la contribution de géodésiques périodiques diffractives dont on calcule la partie principale sous certaines hypothèses.