This invention relates to compounds of the formula wherein R1 to R9 are as described below, or to pharmaceutically acceptable salts thereof. These compounds are BACE2 inhibitors and can be used as medicaments for the therapeutic and/or prophylactic treatment of diseases such as diabetes, particularly type 2 diabetes, and other metabolic disorders.Cette invention concerne des composés de formule dans lesquels R1 à R9 sont tels que décrits ci-dessous, ou des sels pharmaceutiquement acceptables de ceux-ci. Ces composés sont des inhibiteurs de BACE2 et peuvent être utilisés en tant que médicaments pour le traitement thérapeutique et/ou prophylactique de maladies telles que le diabète, en particulier le diabète de type 2, et dautres troubles métaboliques.