Семинар 13. Касательные векторы к многообразиям, дифференциал гладкого отображения