Michel Reale (1931-2020)