Checker comportement avec doubles annotations