machinistrateur