Merge branch 'master' of git@git.scilab.org:scilab
Allan CORNET [Wed, 10 Dec 2008 16:10:04 +0000 (17:10 +0100)]

Trivial merge