Some attemps at having fixed universes in bisimulation