La mort d'Armand Gatti, figure du théâtre du XXème siècle