Franco Martinelli (1933-2023) : in memoriam