On Thu, Dec 05, 2002 at 02:22:31PM +0100, R�gis Grison wrote: > Moi je verrais plut�t une d�finition r�cursive : > > fiable(S') = fiable(S) + p si : > - fiable(p) > ou > - non-fiable(p) mais toujours fiable(S) malgr� l'ajout de p
Donc si fiable(1) est vrai, alors fiable(toute la distribution) est vrai aussi? - Le noyau est fiable - ls(1) n'est pas fiable, mais comme le noyau l'est, l'ensemble ls+noyau est consid�r� fiable. Avec ce raisonnement, il te suffit d'un seul �lement du syst�me pour que tout le syst�me soit consid�r� fiable. C'est pas une bonne definition :-) AMHA, "stable" �a veut dire "on ne change les paquets que pour corriger des bugs" et rien d'autre. En particulier, �a ne veut pas dire qu'il n'y a pas de bugs. /Y
