le passage de linformel au formel est facilite mais pourrait avoir un cout