Modél. et Dév. de Systèmes industriels : Logique programmée