%0 Book Section %A Lerner, Nicolas %T The verification of the Nirenberg-Treves conjecture %B Séminaire Bourbaki : volume 2005/2006, exposés 952-966 %A Collectif %S Astérisque %Z talk:960 %D 2007 %P 211-235 %N 311 %I Société mathématique de France %U http://www.numdam.org/item/SB_2005-2006__48__211_0/ %G en %F SB_2005-2006__48__211_0