» Rochebrun , ouvrier ».