Lectures on finite precision computations - Chaitin-Chatelin, Francoise (Siam, 1996)