<!--
function agrandir()
{
   var element = document.getElementById("message");
   element.rows+=1;
}
 
function diminuer()
{
   var element = document.getElementById("message");
   if (element.rows>2)
      element.rows = element.rows-1;
}
//-->