REVENDICATIONS 1. Procédé de détermination d'un dépassement de format du résultat d'une opération arithmétique réalisée, par une unité arithmétique (AU), sur deux opérandes A et B et une retenue entrante Cin introduits en entrée de l'AU, caractérisé en ce qu'il est exécuté parallèlement au traitement effectué par l'AU sur les opérandes A et B, avant que le résultat de l'opération n'ait été déterminé par 1'AU. 2. Procédé de détermination d'un dépassement de résultat selon la revendication 1, dans lequel les opérandes A et B sont des nombres binaires de m bits et le format du résultat recherché S est de n bits (avec n - à considérer uniquement les m - n + 1 bits de poids les plus forts, nommés AH pour l'opérande A et BH pour l'opérande B et une retenue sortante Coutn2 de rang n-2 ; et - à regarder si AH, BH et Coutn2 vérifient une condition de saturation et, si c'est le cas, à en déduire que le résultat S a une taille supérieure à n bits. 3. Procédé de détermination d'un dépassement de résultat selon la revendication 2, caractérisé en ce que la condition de saturation positive est AH + BH + Coutn-2 > 1, et la condition de saturation négative est AN + BH + Countn-2 t -1, où Coutn-2 est la retenue sortante de rang n - 2 dans l'opération arithmétique de A, B et Cin. 4. Procédé de détermination d'un dépassement de résultat selon la revendication 3, caractérisé en ce que, A s'exprimant sur 40 bits et B sur 32 bits avec n = 32 et m = 40, les conditions de saturation positive sont BH = O et AH > 0 ; BH = - 1 et AH > 1 BH = O et AH = O et Cout30 = 1 ; BH = -1 et AH = 1 et Cout30 = 1 ; et les conditions de saturation négative sont BH = 0 et AH BH = -1 et AH BH = O et AH = -2 et Cout30 = O ; BH = -l et AH = -l et Cout30 = 0. 5. Procédé de détermination d'un dépassement de résultat selon la revendication 3, caractérisé en ce que, A s'exprimant sur 40 bits et B sur 33 bits avec n = 32 et m = 40, les conditions de saturation positive sont BH = -2 et AH > 2 ; BH = -1 et AH > 1 ; BH = O et AH > O ; BH = 1 et AH > -1 ; BH = -2 et AH = 2 et Cout30 = 1 ; BH = -l et AH = 1 et Cout30 = 1 ; BH = 0 et AH = 0 et Cout30 = 1 BH = 1 et AH = -1 et Cout30 = 1 ; et les conditions de saturation négative sont BH = -2 et AH BH = -1 et AH BH = O et AH BH = 1 et AH BH = -2 et AH = O et Cout30 = 0 ; BH = -1 et AH = -1 et Cout30 = 0 ; BH = O et AH = -2 et Cout30 = O ; BH = 1 et AH = -3 et Cout30 = 0. 6. Procédé de détermination d'un dépassement de résultat selon la revendication 1, dans lequel les opérandes A et B sont des nombres binaires de m bits et le format du résultat recherché est de n bits (avec n - à déterminer des termes de propagation pi et des termes de génération gi définis chacun par une relation logique entre les composantes ai et bi des opérandes A et B ; - à considérer uniquement les m - n + 1 bits de poids les plus forts, nommés PH pour les termes de propagation pi et GH pour les termes de génération gi, ainsi que la retenue sortante Coutn2 de rang n-2 ; et - à regarder si PH, GH et Coutn-2 vérifient une condition de saturation et, si c'est le cas, à en déduire que le résultat S a une taille supérieure à n bits. 7. Procédé selon la revendication 6, caractérisé en ce que A, s'exprimant sur 40 bits et B sur 32 bits avec n = 32 et m = 40, les conditions de saturation positive sont = = 1 et (#i#[39:42], pi = 1) et cout30 = 1 ; p39 = 1 et g39 = O et #i# [38:32], gi = 1 ; #i# [39:31], pi = O et g39 = O et Cout30 = 1 ; p33 = O et (#i#[38:31], pi = 1) et g39 = 0 ; et les conditions de saturation négative sont g39 = 1 et #i#[38:31], gi = O ; #i# [39:31], gi = 1 et Cout30 = O ; p39 = 1 et #i# [38:32], pi = O et #i# [38:32], gi = O ; (#i# [39:32], pi = 1) et g31 = O et Cout30 = 0 et p31 = 0. 8. Procédé selon la revendication 6, caractérisé en ce que, A s'exprimant sur 40 bits et B sur 33 bits avec n = 32 et m = 40, les conditions de saturation positive sont p39 = 1 et g32 = 1 et (p31)XOR(g31) = 1 ; p39 = 1 et #i# [38:33], gi = 1 p39 = = 0 et g39 = 0 et NOT (#i# [38:31], pi = O et g31 = 0) ; (#i# [39:32], pi = 1) et p31 = O et g32 = 1 et g31 = O et Cout30 = 1 ; (#i# [39:32], pi = 1) et g31 = 1 et Cout30 = 1 ; (#i# [39:31], pi = 0) et g39 = O et g31 = 0 et Cout30 = 1, et les conditions de saturation négative sont g39 = 1 et #i# [38:31], gi = 0 ; p39 = 1 et #i# [38:32], pi = 0 et #i# [38:32], gi = O ; p39 = 1 et #i# [38:32], gi = O et not (#i# [38:32], pi = 1) et not (#i# [38:33], pi = 1 et p32 = O et g31 = 1) (#i# [39:32], pi = 1) et p31 = O et g31 = 0 et Cout30 = 0 ; (#i# [39:31], gi = 1) et Cout30 = O ; (#i# [39:33], pi = 1) et p32 = O et g32 = O et g31 = 1 et Cout30 = 0. 9. Procédé selon l'une quelconque des revendications 1 à 8, caractérisé en ce qu'il consiste, lorsqu'il y a dépassement, à saturer le résultat à la valeur binaire 2n-1-1 pour une saturation positive d'un format de n bits et à la valeur -2n-1 pour une saturation négative d'un format de n bits.