Journées Académiques IREM 2014 : IEEE 754