<?php

//
require_once "../obj/dossier_instruction.class.php";

//
class dossier_contentieux extends dossier_instruction {

}

?>
