Edmond Thomas, figure discrète mais majeure de l'édition, est mort