let dimX (tab : 'a array array) = Array.length tab