Sleigh : méthodes d'accélération en non-adéquation avec l'énoncé