Activité informatique : Une preuve