Interpretation fonctionelle et elimination des coupures dans l'aritmetique d'ordre superieur