Le théorème de Mazur-Ulam (1932), qui porte sur les isométries d'un espace vectoriel normé, établit un lien entre la structure métrique d'un tel espace et sa structure affine; nous exposons une preuve de ce théorème.