Fluorure d'holmium HoF3