string(15) "maillet de juge"