José Luis R. Arrondo (1953-2021)