internal Element getElementTest([PexAssumeUnderTest] Boost target)
{
Element result = target.getElement();
return(result);
// TODO: ajouter des assertions à méthode BoostTest.getElementTest(Boost)
}