Calcul dans IR