function calc($lat_a, $lon_a, $lat_b, $lon_b) {
                        // $lat_a : Latitude de l'emplacement actuel
                        // $lon_a : Longitude de l'emplacement actuel
                        // $lat_b : Latitude du restaurant
                        // $lon_b : Longitude du restaurant
                        $a = pi() / 180;
                        $lat1 = $lat_a * $a;
                        $lat2 = $lat_b * $a;
                        $lon1 = $lon_a * $a;
                        $lon2 = $lon_b * $a;

                        $t1 = sin($lat1) * sin($lat2);
                        $t2 = cos($lat1) * cos($lat2);
                        $t3 = cos($lon1 - $lon2);
                        $t4 = $t2 * $t3;
                        $t5 = $t1 + $t4;
                        $rad_dist = atan(-$t5/sqrt(-$t5 * $t5 +1)) + 2 * atan(1);
                        $dist=($rad_dist * 3437.74677 * 1.1508) * 1.6093470878864446;
                        return $dist;
                        // RETOURNE LA DISTANCE EN KM ENTRE LES DEUX POINTS
                        // <3 VOILOU
                }