Behavioral tasks for mice, originally by Thomas Deneux