Tristesse ce jeudi : le monde du cinéma en deuil, Pierre Tchernia vient de nous quitter, « il était devenu…