Update demineur.php