La distribution du système GNU/Linux par Red Hat en version 13