Le temps de déduction est trop grand