%0 Book Section %A Scanlon, Thomas %T A proof of the André-Oort conjecture via mathematical logic [after Pila, Wilkie and Zannier] %B Séminaire Bourbaki Volume 2010/2011 Exposés 1027-1042. Avec table par noms d'auteurs de 1948/49 à 2009/10. %A Collectif %S Astérisque %Z talk:1037 %D 2012 %P 299-315 %N 348 %I Société mathématique de France %U http://www.numdam.org/item/AST_2012__348__299_0/ %G en %F AST_2012__348__299_0