From the totally asymmetric simple exclusion process to the KPZ