Grover's algorithm in French

(comptheory) A quantum algorithm that finds with high probability the unique input to a black-box function that produces a particular output value.