An Analytical Approach to Compute the Exact Preimage of Feed-Forward Neural Networks. - Théo Nancy; Vassili Maillet; Johann Barbier (CoRR, 2022)