Merge branch '5.1' of git@git.scilab.org:scilab into 5.1
Sylvestre Ledru [Wed, 16 Sep 2009 09:01:50 +0000 (11:01 +0200)]

Trivial merge