Poisson Algebras for Non-Linear Field Theories in the Cahiers Topos