Nécrologie de René Diezi