Stratégies de résolution des logarithmes