Logiciels réels, manuels virtuels