Salome HOME
Fix for a bug: a command with id 8001 is the same as 800 (create group) but called...