union internationale des télécommunications - ITU
... de Newton » utile à la caractérisation locale des courbes algébriques. ... les
squelettes de la preuve de leur adéquation à des spécifications formelles. ..... les
ordinateurs du moment, un examen exhaustif des cas spéciaux conclut la preuve
.