Update informatique.php

dvi-