Gregorio Peces-Barba, in Memoriam