Isolation par l'extérieur (ITE)

Bonjour,

J'envisage de faire effectuer des travaux d'isolation par l'extérieur de ma maison.
Un des murs est en limite séparative avec mon voisin, par conséquent l'isolation dépasserait des limites d'environ 13 cm chez mon voisin.
Le représentant de l'entreprise qui doit faire les travaux m'a dit qu'il suffisait d'un accord amiable avec mon voisin pour que je puisse dépasser sur sont terrain.
Après discution informelle avec mon voisin, celui-ci est d'accord sur le principe et à priori sans contrepartie.
Toutefois, je souhaiterais avoir des précisions sur la loi, les formalisations éventuelles et les risques si il change d'avis à posteriori ou en cas de changement de propriétaire.

Merci d'avance pour votre aide.
Cordialement.