Jean-Marie DENTZER (Strasbourg, 26 septembre 1935 – Paris, 29 octobre 2020)