<?php
//$Id$ 
//gen openMairie le 10/09/2020 13:54

require_once "../gen/obj/departement.class.php";

require_once __DIR__ . '/trait_date_valid.php';

class departement extends departement_gen {
    use date_valid;
}
