Opterei per la seconda ipotesi

HAVING è una WHERE applicata dopo la GROUP BY