Correction du typage grâce à redef3.