Cita: Se puede hacer un having de registros ya agrupados??
Es más, solo se puece hacer un having de registros ya agrupados, pero en este caso el registro agrupado es "pro_c_trabajo.id"
La condición que quieres ponerla debería ir en el WHERE.
Un saludo