Da nombre al municipio de Villafranca de la Sierra.