<?php
//$Id$ 
//gen openMairie le 07/05/2024 16:14

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

class type_acteur_platau extends type_acteur_platau_gen {

}
