Era jueves, día de medio asueto en la temporada de verano.