@incollection{AST_1980__73__19_0,
     author = {Lascar, Daniel},
     title = {Une indicatrice de type {"Ramsey"} pour l'arithm\'etique de {Peano} et la formule de {Paris-Harrington}},
     booktitle = {Mod\`eles de l'arithm\'etique : S\'eminaire Paris VII},
     editor = {McAloon Kenneth},
     series = {Ast\'erisque},
     pages = {19--30},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {73},
     year = {1980},
     mrnumber = {590459},
     zbl = {0458.03024},
     language = {fr},
     url = {http://www.numdam.org/item/AST_1980__73__19_0/}
}