Some advance in the definition of bisimulation