Thèse d'Hörmander, I
Séminaire Bourbaki : années 1954/55 - 1955/56, exposés 101-136, Séminaire Bourbaki no. 3  (1956), Talk no. 130, p. 323-332
@incollection{SB_1954-1956__3__323_0,
     author = {Tr\`eves, Fran\c cois},
     title = {Th\`ese d'H\"ormander, I},
     booktitle = {S\'eminaire Bourbaki : ann\'ees 1954/55 - 1955/56, expos\'es 101-136},
     author = {Collectif},
     series = {S\'eminaire Bourbaki},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {3},
     year = {1956},
     note = {talk:130},
     pages = {323-332},
     mrnumber = {1611396},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1954-1956__3__323_0}
}
Trèves, François. Thèse d'Hörmander, I, in Séminaire Bourbaki : années 1954/55 - 1955/56, exposés 101-136, Séminaire Bourbaki, no. 3 (1956), Talk no. 130, pp. 323-332. http://www.numdam.org/item/SB_1954-1956__3__323_0/

[1] Hörmander (Lars). - On the theory of general partial differential operators, Acta Math., t. 94, 1955, p. 161-248. | MR 76151 | Zbl 0067.32201

[2] Seidenberg (A.). - A new decision method for elementary algebra, Ann. of Math, t. 60, 1954, p. 365-374. | MR 63994 | Zbl 0056.01804

[3] Séminaire SCHWARTZ, t. 2, 1954/55.