<?php
require_once('UtilisateurDoctrine_class.php5');

class Utilisateur extends UtilisateurDoctrine
{
}
?>