Merge branch 'master' of git@git.scilab.org:scilab
antoine ELIAS [Thu, 2 Jul 2009 08:01:54 +0000 (10:01 +0200)]

Trivial merge