アレクサンドル・グロタンディーク
Formally smooth maps were defined by Alexander Grothendieck in "Éléments de géométrie algébrique" IV.