<?
$file = file_get_contents('bigdata_2016_TP1.html');
$output = htmlentities($file,ENT_COMPAT | ENT_HTML401,'UTF-8');
echo strtr($output, array("&lt;"=>"<","&gt;"=>">","&amp;"=>'&','&quot;'=>'"'));
?>