Solveurs double mort et recherche par partition (.pdf)