Antonio Barnés Vázquez: «El nombre «Majadahonda» es precioso por las «majadas» de San Juan de la Cruz y el adjetivo «hondo»