modification pour chechstyle et ajouts de test dans AskSpecificationTest