Calculs dans IR