Ok now I can confirm I have two mantises (well, at least).
One is quite small (2-3 cms), brown/black, and is the one I saw initially. A few days ago, I saw a bigger one (5-6 cms), green with brown spots, quite nice.
I could not take any pcitures, that was just too fast. They seem to have shared the aquarium, one is on the right side, the other one on the left.
I did populate my aquarium, with hermit crabs, fishes, astrea and shrimps (2 cleaner shrimps and 3 blood shrimps).
Main casualties seem to be the astreas and the hermit crabs, although the small ones seems to be ok. Otherwise, so far everyone seem to live happily with those two monsters in the tank !