@josepramis Dioccionari de la Enciclopèdia catalana:  HAVER:  [ pr ind sing 1 he o haig ]    aux  Amb la preposició DE i l'infinitiu de qualsevol verb, constitueix els temps composts que denoten la necessitat física, moral o lògica que s'acompleixi l'acció expressada pel verb principal.