Ou mettre déduction entre guillemets dans la recherche. ("lambda calcul" "déduction")
Par contre c'est vrai que si on ne fait pas attention, comme google ne précise pas qu'il n'a pas fait la recherche avec les critères qu'on lui a passé, on est surpris des résultats. Ça m'est arrivé plusieurs fois.
[^] # Re: ...
Posté par TortuXm . En réponse au message [Liberté] Google pense pour nous. Évalué à 2.
Par contre c'est vrai que si on ne fait pas attention, comme google ne précise pas qu'il n'a pas fait la recherche avec les critères qu'on lui a passé, on est surpris des résultats. Ça m'est arrivé plusieurs fois.