El toro, a las cinco, y el torero, a los veinticinco.