‘Gregorio Peces-Barba Martínez (1938-2012): In Memoriam’