The battle between Arago and Biot over Fresnel