Filtrage des eaux de Paris — François Arago, François Magendie, Henri-Edmond Robiquet