<?php
//$Id: menu_icone.inc,v 1.10 2008-09-22 09:08:01 jbastide Exp $
// =========================================================================
// icones menu  1-> unique / 0 ->personnalisé
// =========================================================================
$icone_unique=0;
?>