Duque Villanueva, Juan Carlos, Tribunal Constitucional, Espainia