Le decadi 20 prairial, an CCXI, Matt Gushee a écrit :
>   # Unix.chmod "test1" 755;;

Unix file permissions are bit fields. If you want to yuse the easy
habitual notation, you need to use octal, not decimal: try 0o755.