a #morphism between smooth varieties is #étale at a point iff the differential between the corresponding tangent spaces is an #isomorphism. This is in turn precisely the condition needed to ensure that a map between manifolds is a local #diffeomorphism