Given a smooth Lagrangian path, both in the finite and in the infinite dimensional (Fredholm) case, we introduce the notion of partial signatures at each isolated intersection of the path with the Maslov cycle. For real-analytic paths, we give a formula for the computation of the Maslov index using the partial signatures; a similar formula holds for the spectral flow of real-analytic paths of Fredholm self-adjoint operators on real separable Hilbert spaces. As applications of the theory, we obtain a semi-Riemannian version of the Morse index theorem for geodesics with possibly conjugate endpoints, and we prove a bifurcation result at conjugate points along semi-Riemannian geodesics. To cite this article: R. Giambò et al., C. R. Acad. Sci. Paris, Ser. I 338 (2004).

Etant donné un chemin régulier de lagrangiens, nous introduisons dans le cas de la dimension finie et le cas (Fredholm) de dimension infinie la notion de signatures partielles en chaque intersection isolée d'un tel chemin avec le cycle de Maslov. En utilisant les signatures partielles, nous donnerons une formule de calcul de l'indice de Maslov. Une formule semblabe vaut pour le flux spectral de chemins réel-analytiques d'opérateurs auto-adjoints de Fredholm sur des espaces de Hilbert réels et séparables. Comme application de la théorie, nous obtenons une version semi-Riemannienne du théorème de l'indice de Morse dans le cas de géodésiques avec des points initiaux conjugués. Enfin, nous démontrons un résultat de bifurcation en ces points conjugués le long des géodésiques semi-Riemanniennes. Pour citer cet article : R. Giambò et al., C. R. Acad. Sci. Paris, Ser. I 338 (2004).