@incollection{AST_2012__348__299_0,
     author = {Scanlon, Thomas},
     title = {A proof of the {Andr\'e-Oort} conjecture via mathematical logic [after {Pila,} {Wilkie} and {Zannier]}},
     booktitle = {S\'eminaire Bourbaki Volume 2010/2011 Expos\'es 1027-1042. Avec table par noms d'auteurs de 1948/49 \`a 2009/10.},
     series = {Ast\'erisque},
     note = {talk:1037},
     pages = {299--315},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {348},
     year = {2012},
     mrnumber = {3051200},
     zbl = {1271.14030},
     language = {en},
     url = {http://www.numdam.org/item/AST_2012__348__299_0/}
}