Test bombermanService dans le rapport
Invariants, pre-conditions(init), post-conditions(init)