@incollection{SB_2005-2006__48__211_0,
     author = {Lerner, Nicolas},
     title = {The verification of the {Nirenberg-Treves} conjecture},
     booktitle = {S\'eminaire Bourbaki : volume 2005/2006, expos\'es 952-966},
     series = {Ast\'erisque},
     note = {talk:960},
     pages = {211--235},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {311},
     year = {2007},
     mrnumber = {2359045},
     zbl = {1200.35345},
     language = {en},
     url = {http://www.numdam.org/item/SB_2005-2006__48__211_0/}
}