- variables typées - tests