function localiser5() {
var val6 = document.getElementById('val6').value;
console.log(val6);
  var x;
  var y;
  var z;
  $.ajax({
      type: 'POST',
      url: 'php/survoler.php',

      data: {
        val6 : val6
      },
      success:function(data){

     map.flyTo(new L.LatLng(x, y),12);
      },
      error:function(response){
        console.log(response);
      }
    })


}

$db = pg_connect("host=localhost port=5432 dbname=d3topo user=postgres password=khadija") or die('could not connect :'.pg_last_error());

if(!empty($_POST['val6'])){