A positive observer for the chemostat model with biogas measurement. (February 2023)