Quelles sont les logiciels propriétaires ?