Le concept de preuve à la lumière de l'intelligence artificielle | lit.salon