Systèmes pluricanoniques sur l'espace des modules des courbes et diviseurs de courbes k-gonales (d'après Harris et Mumford),