trois + sept =