Décès de Michel Ciment, célèbre voix du « Masque et la Plume »