También suele llamarse Verduguillo.