Mort d’Éric Rohmer, géant du cinéma français.