Quels systèmes d’exploitation pour 4D v20 ?