The statement and the AC-free proof of Cantor-Schroeder-Bernstein's theorem have obviously some categorical content. Has this been already investigated ? Thank you ! Pierre AGERON ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++