<?php
//$Id$ 
//gen openMairie le 17/10/2012 17:46

require_once ("../gen/obj/instructeur.class.php");

class instructeur extends instructeur_gen {

    function instructeur($id,&$db,$debug) {
        $this->constructeur($id,$db,$debug);
    }// fin constructeur

}// fin classe
?>