Update realisation.tex